A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviours. This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution. We propose a "semantics workbench" with fully and semi-automatic tools for SCOOP, that can be used to analyse and compare programs with respect to different execution models. We demonstrate its use in checking the consistency of semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of the language. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, and how the visual yet algebraic nature of the model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear

p63 is a key regulator of iRHOM2 signalling in the keratinocyte stress response.

Hyperproliferative keratinocytes induced by trauma, hyperkeratosis and/or inflammation display molecular signatures similar to those of palmoplantar epidermis. Inherited gain-of-function mutations in RHBDF2 (encoding iRHOM2) are associated with a hyperproliferative palmoplantar keratoderma and squamous oesophageal cancer syndrome (termed TOC). In contrast, genetic ablation of rhbdf2 in mice leads to a thinning of the mammalian footpad, and reduces keratinocyte hyperproliferation and migration. Here, we report that iRHOM2 is a novel target gene of p63 and that both p63 and iRHOM2 differentially regulate cellular stress-associated signalling pathways in normal and hyperproliferative keratinocytes. We demonstrate that p63-iRHOM2 regulates cell survival and response to oxidative stress via modulation of SURVIVIN and Cytoglobin, respectively. Furthermore, the antioxidant compound Sulforaphane downregulates p63-iRHOM2 expression, leading to reduced proliferation, inflammation, survival and ROS production. These findings elucidate a novel p63-associated pathway that identifies iRHOM2 modulation as a potential therapeutic target to treat hyperproliferative skin disease and neoplasia

Automated Model-based Attack Tree Analysis using HiP-HOPS

As Cyber-Physical Systems (CPS) grow increasingly complex and interact with external CPS, system security remains a nontrivial challenge that continues to scale accordingly, with potentially devastating consequences if left unchecked. While there is a significant body of work on system security found in industry practice, manual diagnosis of security vulnerabilities is still widely applied. Such approaches are typically resource-intensive, scale poorly and introduce additional risk due to human error. In this paper, a model-based approach for Security Attack Tree analysis using the HiP-HOPS dependability analysis tool is presented. The approach is demonstrated within the context of a simple web-based medical application to automatically generate attack trees, encapsulated as Digital Dependability Identities (DDIs), for offline security analysis. The paper goes on to present how the produced DDIs can be used to approach security maintenance, identifying security capabilities and controls to counter diagnosed vulnerabilities

Utilisation of an operative difficulty grading scale for laparoscopic cholecystectomy

Background A reliable system for grading operative difficulty of laparoscopic cholecystectomy would standardise description of findings and reporting of outcomes. The aim of this study was to validate a difficulty grading system (Nassar scale), testing its applicability and consistency in two large prospective datasets. Methods Patient and disease-related variables and 30-day outcomes were identified in two prospective cholecystectomy databases: the multi-centre prospective cohort of 8820 patients from the recent CholeS Study and the single-surgeon series containing 4089 patients. Operative data and patient outcomes were correlated with Nassar operative difficultly scale, using Kendall’s tau for dichotomous variables, or Jonckheere–Terpstra tests for continuous variables. A ROC curve analysis was performed, to quantify the predictive accuracy of the scale for each outcome, with continuous outcomes dichotomised, prior to analysis. Results A higher operative difficulty grade was consistently associated with worse outcomes for the patients in both the reference and CholeS cohorts. The median length of stay increased from 0 to 4 days, and the 30-day complication rate from 7.6 to 24.4% as the difficulty grade increased from 1 to 4/5 (both p < 0.001). In the CholeS cohort, a higher difficulty grade was found to be most strongly associated with conversion to open and 30-day mortality (AUROC = 0.903, 0.822, respectively). On multivariable analysis, the Nassar operative difficultly scale was found to be a significant independent predictor of operative duration, conversion to open surgery, 30-day complications and 30-day reintervention (all p < 0.001). Conclusion We have shown that an operative difficulty scale can standardise the description of operative findings by multiple grades of surgeons to facilitate audit, training assessment and research. It provides a tool for reporting operative findings, disease severity and technical difficulty and can be utilised in future research to reliably compare outcomes according to case mix and intra-operative difficulty

The Development of a Point of Care Clinical Guidelines Mobile Application Following a User-Centred Design Approach

This paper describes the development of a point of care clinical guidelines mobile application. A user-centred design approach was utilised to inform the design of a smartphone application, this included: Observations; a survey; focus groups and an analysis of popular apps utilised by clinicians in a UK NHS Trust. Usability testing was conducted to inform iterations of the application, which presents clinicians with a variety of integrated tools to aid in decision making and information retrieval. The study found that clinicians use a mixture of technology to retrieve information, which is often inefficient or has poor usability. It also shows that smartphone application development for use in UK hospitals needs to consider the variety of users and their clinical knowledge and work pattern. This study highlights the need for applying user-centred design methods in the design of information presented to clinicians and the need for clinical information delivery that is efficient and easy to use at the bedside

Effects of the mu-opioid receptor antagonist GSK1521498 on hedonic and consummatory eating behaviour: a proof of mechanism study in binge-eating obese subjects.

The opioid system is implicated in the hedonic and motivational processing of food, and in binge eating, a behaviour strongly linked to obesity. The aim of this study was to evaluate the effects of 4 weeks of treatment with the mu-opioid receptor antagonist GSK1521498 on eating behaviour in binge-eating obese subjects. Adults with body mass index ⩾30 kg m−2 and binge eating scale scores ⩾19 received 1-week single-blind placebo run-in, and were then randomized to 28 days with either 2 mg day−1 GSK1521498, 5 mg day−1 GSK1521498 or placebo (N=21 per arm) in a double-blind parallel group design. The outcome measures were body weight, fat mass, hedonic and consummatory eating behaviour during inpatient food challenges, safety and pharmacokinetics. The primary analysis was the comparison of change scores in the higher-dose treatment group versus placebo using analysis of covariance at each relevant time point. GSK1521498 (2 mg and 5 mg) was not different from placebo in its effects on weight, fat mass and binge eating scores. However, compared with placebo, GSK1521498 5 mg day−1 caused a significant reduction in hedonic responses to sweetened dairy products and reduced calorific intake, particularly of high-fat foods during ad libitum buffet meals, with some of these effects correlating with systemic exposure of GSK1521498. There were no significant effects of GSK1521498 2 mg day−1 on eating behaviour, indicating dose dependency of pharmacodynamics. GSK1521498 was generally well tolerated and no previously unidentified safety signals were detected. The potential for these findings to translate into clinically significant effects in the context of binge eating and weight regain prevention requires further investigation

Prescription of respiratory medication without an asthma diagnosis in children: a population based study

Background. In pre-school children a diagnosis of asthma is not easily made and only a minority of wheezing children will develop persistent atopic asthma. According to the general consensus a diagnosis of asthma becomes more certain with increasing age. Therefore the congruence between asthma medication use and doctor-diagnosed asthma is expected to increase with age. The aim of this study is to evaluate the relationship between prescribing of asthma medication and doctor-diagnosed asthma in children age 0-17. Methods. We studied all 74,580 children below 18 years of age, belonging to 95 GP practices within the second Dutch national survey of general practice (DNSGP-2), in which GPs registered all physician-patient contacts during the year 2001. Status on prescribing of asthma medication (at least one prescription for beta2-agonists, inhaled corticosteroids, cromones or montelukast) and doctor-diagnosed asthma (coded according to the International Classification of Primary Care) was determined. Results. In total 7.5% of children received asthma medication and 4.1% had a diagnosis of asthma. Only 49% of all children receiving asthma medication was diagnosed as an asthmatic. Subgroup analyses on age, gender and therapy groups showed that the Positive Predictive Value (PPV) differs significantly between therapy groups only. The likelihood of having doctor-diagnosed asthma increased when a child received combination therapy of short acting beta2-agonists and inhaled corticosteroids (PPV = 0.64) and with the number of prescriptions (3 prescriptions or more, PPV = 0.66). Both prescribing of asthma medication and doctor-diagnosed asthma declined with age but the congruence between the two measures did not increase with age. Conclusion. In this study, less than half of all children receiving asthma medication had a registered diagnosis of asthma. Detailed subgroup analyses show that a diagnosis of asthma was present in at most 66%, even in groups of children treated intensively with asthma medication. Although age strongly influences the chance of being treated, remarkably, the congruence between prescribing of asthma medication and doctor-diagnosed asthma does not increase with age

Management of acromegaly in Latin America: expert panel recommendations

Although there are international guidelines orienting physicians on how to manage patients with acromegaly, such guidelines should be adapted for use in distinct regions of the world. A panel of neuroendocrinologists convened in Mexico City in August of 2007 to discuss specific considerations in Latin America. Of major discussion was the laboratory evaluation of acromegaly, which requires the use of appropriate tests and the adoption of local institutional standards. As a general rule to ensure diagnosis, the patient’s GH level during an oral glucose tolerance test and IGF-1 level should be evaluated. Furthermore, to guide treatment decisions, both GH and IGF-1 assessments are required. The treatment of patients with acromegaly in Latin America is influenced by local issues of cost, availability and expertise of pituitary neurosurgeons, which should dictate therapeutic choices. Such treatment has undergone profound changes because of the introduction of effective medical interventions that may be used after surgical debulking or as first-line medical therapy in selected cases. Surgical resection remains the mainstay of therapy for small pituitary adenomas (microadenomas), potentially resectable macroadenomas and invasive adenomas causing visual defects. Radiotherapy may be indicated in selected cases when no disease control is achieved despite optimal surgical debulking and medical therapy, when there is no access to somatostatin analogues, or when local issues of cost preclude other therapies. Since not all the diagnostic tools and treatment options are available in all Latin American countries, physicians need to adapt their clinical management decisions to the available local resources and therapeutic options

A Multifaceted Intervention to Improve the Quality of Care of Children in District Hospitals in Kenya: A Cost-Effectiveness Analysis

A cost-effective analysis conducted by Edwine Barasa and colleagues estimates that a complex intervention aimed at improving quality of pediatric care would be affordable and cost-effective in Kenya